Recursive data type - PDFSEARCH.IO - Document Search Engine

Recursive data type
Results: 44

#	Item
41	Polymorphic Time Systems for Estimating Program Complexity Vincent Dornic 1 2 ; Pierre Jouvelot 1 3 Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Type theory Data types Theoretical computer science Lambda calculus Formal methods Type system Programming language Fixed-point combinator Recursive data type Software engineering Computing Programming language theory
42	MODELING AND QUERYING RECURSIVE DATA STRUCTURES II: A SEMANTIC APPROACH J.H. ter Bekke and J.A. Bakker Delft University of Technology Faculty of Information Technology and Systems e-mail: {J.H.terBekke, J.A.Bakker}@its.t Add to Reading List Source URL: www.kbs.twi.tudelft.nl Language: English - Date: 2004-04-08 04:47:10 Data modeling Programming idioms Mathematical logic Theoretical computer science Computability theory Recursion Recursive data type EXPRESS SQL Computing Computer programming Software engineering
43	Bird’s Linear Array Notation Handles recursive functions with limit ordinal ω The Linear Array Notation has 5 rules of operation Add to Reading List Source URL: mrob.com Language: English - Date: 2013-02-19 13:21:26 Bracket Array data type Array programming Ordered pair Function Inequality Exponentiation Mathematics Mathematical notation C
44	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-09-13 18:04:56 Programming language theory Generic programming Type safety Logical framework Programming language Dynamics Recursion Type system Recursive data type Software engineering Type theory Computing